МЕРА МНОЖЕСТВА

        математическое понятие, обобщающее понятия длины отрезка, площади плоской фигуры и объёма тела на множества более общей природы. В качестве примера можно привести определение меры Лебега (введённой А. Лебегом в 1902) для ограниченных множеств, лежащих на плоскости. При определении меры Лебега, так же как и при определении площади плоских фигур в геометрии, исходят из сравнения части плоскости, занимаемой множеством, с выбранной единицей измерения. При этом и способ сравнения напоминает обычный процесс измерения площади. Меру Лебега m (Δ) любого квадрата Δ полагают равной его площади. Затем рассматриваемое множество А покрывают конечным или бесконечным числом квадратов Δ₁, Δ₂,..., Δ_n,...; нижнюю грань чисел

        

         взятую по всевозможным покрытиям множества А, называют верхней (внешней) мерой m^*(А) множества А. Нижняя (внутренняя) мера m^* (А) множества А определяется как разность

        

        где Δ — какой-либо квадрат, содержащий множество А, и А. Множества, для которых верхняя мера равна нижней, называют измеримыми по Лебегу, а общее значение m (А) верхней и нижней мер — мерой Лебега множества А. Геометрические фигуры, имеющие площадь в элементарном смысле (см. Квадрируемая область), измеримы, и их мера Лебега совпадает с их площадью. Однако существуют и неквадрируемые измеримые множества. Аналогично можно определить меру Лебега на прямой. При этом верхнюю меру определяют, рассматривая покрытия множества интервалами.

         Основные свойства меры Лебега: 1) мера любого множества неотрицательна: m (A)Δ ́≥ ́0; 2) мера суммы

        

        конечной или счётной системы попарно непересекающихся множеств A₁, A₂..., A_n... равна сумме их мер:

        

        3) при перемещении множества как твёрдого тела его мера не меняется.

         Своеобразие понятия «М. м.» можно пояснить следующим примером: множество А рациональных точек интервала (0, 1) и множество В иррациональных точек того же интервала сходны в том смысле, что каждое из них плотно на интервале (0, 1), т. е., что между любыми двумя точками указанного интервала найдутся как точки множества А, так и точки множества В; в то же время они резко различаются по мере: m (А) = 0, а m (В) = 1.

         Для более узких классов множеств мера, совпадающая с лебеговской, была ранее определена М. Э. К. Жорданом (1893) и Э. Борелем (См. Борель) (1898). О других вопросах, связанных с мерой Лебега, см. Интеграл.

         Развитие ряда отделов современной математики привело к дальнейшим обобщениям — созданию т. н. абстрактной теории меры. При этом М. м. определяют аксиоматически. Пусть U — произвольное множество и A), определённую для всех А, входящих в A₁, A₂,..., A_n,..., входящих в А которых входит в